Memory-Adjustable Navigation Piles with Applications to Sorting and Convex Hulls
نویسندگان
چکیده
We consider space-bounded computations on a random-access machine, where the input is given read-only medium, output to be produced write-only sequential-access and available workspace allows random reads writes but of limited capacity. The length N elements, by computation, capacity O ( S ) bits for some predetermined parameter ≥ lg . present state-of-the-art priority queue—called an adjustable navigation pile —for this restricted model. This queue supports M inimum in (1) time, C onstruct E xtract - min / + time any can further augmented deal with batch at most elements specified range values allow I nsert (activate) or (deactivate) element among these such that take show how use our data structure sort compute convex hull points Euclidean plane 2 Following known lower bound space-time product branching program finding unique both sorting convex-hull algorithms are optimal. has turned out useful when designing other space-efficient algorithms, we expect it will find its way yet applications.
منابع مشابه
Memory-Adjustable Navigation Piles with Applications to Sorting and Convex Hulls
We consider space-bounded computations on a random-access machine (RAM) where the input is given on a read-only random-access medium, the output is to be produced to a writeonly sequential-access medium, and the available workspace allows random reads and writes but is of limited capacity. The length of the input is N elements, the length of the output is limited by the computation, and the cap...
متن کاملNavigation Piles with Applications to Sorting, Priority Queues, and Priority Deques
A data structure, named a navigation pile, is described and exploited in the implementation of a sorting algorithm, a priority queue, and a priority deque. When carrying out these tasks, a linear number of bits is used in addition to the elements manipulated, and extra space for a sublinear number of elements is allocated if the grow and shrink operations are to be supported. Our viewpoint is t...
متن کاملConvex Hulls: Complexity and Applications (A Survey)
Computational geometry is, in brief, the study of algorithms for geometric problems. Classical study of geometry and geometric objects, however, is not well-suited to efficient algorithms techniques. Thus, for the given geometric problems, it becomes necessary to identify properties and concepts that lend themselves to efficient computation. The primary focus of this paper will be on one such g...
متن کاملFormalizing Convex Hulls Algorithms
We study the development of formally proved algorithms for computational geometry. The result of this work is a formal description of the basic principles that make convex hull algorithms work and two programs that implement convex hull computation and have been automatically obtained from formally verified mathematical proofs. A special attention has been given to handling degenerated cases th...
متن کاملConvex hulls, oracles, and homology
This paper presents a new algorithm for the convex hull problem, which is based on a reduction to a combinatorial decision problem CompletenessC, which in turn can be solved by a simplicial homology computation. Like other convex hull algorithms, our algorithm is polynomial (in the size of input plus output) for simplicial or simple input. We show that the “no”-case of CompletenessC has a certi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Algorithms
سال: 2021
ISSN: ['1549-6333', '1549-6325']
DOI: https://doi.org/10.1145/3452938